stutter{-}state($s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$shift{-}state($s$), null, []$>$